Institutionen För Datavetenskap Semantic Matching for Stream Reasoning
نویسنده
چکیده
Autonomous system needs to do a great deal of reasoning during execution in order to provide timely reactions to changes in their environment. Data needed for this reasoning process is often provided through a number of sensors. One approach for this kind of reasoning is evaluation of temporal logical formulas through progression. To evaluate these formulas it is necessary to provide relevant data for each symbol in a formula. Mapping relevant data to symbols in a formula could be done manually, however as systems become more complex it is harder for a designer to explicitly state and maintain this mapping. Therefore, automatic support for mapping data from sensors to symbols would make system more flexible and easier to maintain. DyKnow is a knowledge processing middleware which provides the support for processing data on different levels of abstractions. The output from the processing components in DyKnow is in the form of streams of information. In the case of DyKnow, reasoning over incrementally available data is done by progressing metric temporal logical formulas. A logical formula contains a number of symbols whose values over time must be collected and synchronized in order to determine the truth value of the formula. Mapping symbols in formula to relevant streams is done manually in DyKnow. The purpose of this matching is for each variable to find one or more streams whose content matches the intended meaning of the variable. This thesis analyses and provides a solution to the process of semantic matching. The analysis is mostly focused on how the existing semantic technologies such as ontologies can be used in this process. The thesis also analyses how this process can be used for matching symbols in a formula to content of streams on distributed and heterogeneous platforms. Finally, the thesis presents an implementation in the Robot Operating System (ROS). The implementation is tested in two case studies which cover a scenario where there is only a single platform in a system and a scenario where there are multiple distributed heterogeneous platforms in a system. The conclusions are that the semantic matching represents an important step towards fully automatized semantic-based stream reasoning. Our solution also shows that semantic technologies are suitable for establishing machine-readable domain models. The use of these technologies made the
منابع مشابه
Institutionen För Datavetenskap a Combination of Different Approaches into One Main Process a Combination of Different Approaches into One Main Process Dedicated to My Mother's Soul and Memory
_______________________________________________________________________
متن کاملLinköpings Universitet Institutionen För Datavetenskap / Matematiska Institutionen Hjälpmedel / Admitted Material
Miniräknare / pocket calculator Engelsk-Svensk ordbok / Swedish-English dictionary Kursböckerna DALG: • Lewis, Denenberg: Data Structures and Their Algorithms. • Goodrich, Tamassia: Data Structures and Algorithms in Java. Årets kurslitteratur OPT: • Kombinatorisk optimering med linjärprogrammering, 2002 • Kombinatorisk optimering 2001. • Papadimitriou, Steiglitz: Combinatorial Optimization, Kur...
متن کاملLinköpings Universitet Institutionen För Datavetenskap / Matematiska Institutionen Preliminary Solution Proposal, Dalg-part
d) True since n log n ∈ O(n) (because n log n n → 0 when n→ ∞). Assume f(n) ∈ O(n log n). By transitivity of O-notation, f(n) ∈ O(n). e) False. Find f(n) ∈ Ω(n) such that f(n) 6∈ Θ(n). For example n 6∈ Θ(n), since n 6∈ Ω(n) (because n n → 0 when n→∞). f) True. Assume f(n) ∈ Θ(n). By def. of Θ, f(n) ∈ Ω(n) and hence n ∈ O(f(n)). Now, log n ∈ O(n) since log n n → 0 when n → ∞. By transitivity of ...
متن کاملChanging Attitudes to Swedish Wolf Policy Wolf Return, Rural Areas, and Political Alienation
Fakultetsopponent: Biträdande professor Simon Matti, institutionen för ekonomi, teknik och samhälle, avdelningen för samhällsvetenskap vid Luleå tekniska universitet.
متن کاملGranule-containing Cells of Rat Carotid Body and their Biogenic Amines
An electron microscopic and biochemical study AKADEMISK AVHANDLING som med vederbörligt tillstånd av Rektorsämbetet vid Umeå universitet för avläggande av medicine doktorsexamen kommer att offentligen försvaras i stora föreläsningssalen, institutionen för anatomi-histologi,
متن کامل